/* BUG: can't write to an existed FILE  */
#include "defines.h"

#define IO_WRITE_SUCCESS	0
#define IO_READ_SUCCESS		0
#define SYNC_INIT_SUCCESS	0
#define	SYNC_INIT_FAIL		1

STATE sync_write(PTR_DISK _disk, char* _mem, int size);
STATE sync_read(PTR_DISK _disk, char* _mem, int size);
STATE sync_init(char *pathname, char*);
STATE sync_write_2(PTR_DISK _disk, char** ptr_array, int page_size, int max_table_id);
STATE sync_read_2(PTR_DISK _disk, char** ptr_array, int page_size, int max_table_id);
void  sync_exit();


